Felice Balarin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Assertion Based Verification and Analysis of Network Processor Architectures

Xi Chen, Yan Luo, Harry Hsieh, Laxmi Bhuyan, Felice Balarin

Journal:

Design Automation for Embedded Systems

Year:

2004

Language:

english

File:

PDF, 670 KB

english, 2004

2

Concurrent Symbolic Verification of Liveness Properties for Interleaved Models

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 566 KB

english, 2001

3

Verifying Invariants by Approximate Image Computation

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 574 KB

english, 1997

4

An iterative approach to verification of real-time systems

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.49 MB

english, 1995

5

Verification Approach of Metropolis Design Framework for Embedded Systems

Xi Chen, Harry Hsieh, Felice Balarin

Journal:

International Journal of Parallel Programming

Year:

2006

Language:

english

File:

PDF, 217 KB

english, 2006

6

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Framework for fast and accurate performance simulation of multiprocessor systems

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2007

Language:

english

File:

PDF, 988 KB

english, 2007

7

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Automatic buffer sizing for rate-constrained KPN applications on multiprocessor system-on-chip

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2007

Language:

english

File:

PDF, 617 KB

english, 2007

8

[IEEE 2009 Asia and South Pacific Design Automation Conference (ASP-DAC) - Yokohama, Japan (2009.01.19-2009.01.22)] 2009 Asia and South Pacific Design Automation Conference - Partial order method for timed simulation of system-level MPSoC designs

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

9

[IEEE 2009 Asia and South Pacific Design Automation Conference (ASP-DAC) - Yokohama, Japan (2009.01.19-2009.01.22)] 2009 Asia and South Pacific Design Automation Conference - Fast and accurate performance simulation of embedded software for MPSoC

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2009

Language:

english

File:

PDF, 752 KB

english, 2009

10

[IEEE 2009 Asia and South Pacific Design Automation Conference (ASP-DAC) - Yokohama, Japan (2009.01.19-2009.01.22)] 2009 Asia and South Pacific Design Automation Conference - Memory subsystem simulation in software TLM/T models

Cheung, Eric, Hsieh, Harry, Balarin, Felice

Year:

2009

Language:

english

File:

PDF, 627 KB

english, 2009

11

[IEEE 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Pacific Grove, CA, USA (2006.10.29-2006.11.1)] 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Constraints Assisted Modeling and Validation in Metropolis Framework

Yang, Guang, Hsieh, Harry, Chen, Xi, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

Year:

2006

Language:

english

File:

PDF, 7.31 MB

english, 2006

12

Hardware-Software Co-Design of Embedded Systems ||

Balarin, Felice, Chiodo, Massimiliano, Giusto, Paolo, Hsieh, Harry, Jurecska, Attila, Lavagno, Luciano, Passerone, Claudio, Sangiovanni-Vincentelli, Alberto, Sentovich, Ellen, Suzuki, Kei, Tabbara, Ba

Year:

1997

Language:

english

File:

PDF, 29.83 MB

english, 1997

13

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Separation of concerns

Yang, Guang, Sangiovanni-Vincentelli, Alberto, Watanabe, Yosinori, Balarin, Felice

Year:

2004

Language:

english

File:

PDF, 203 KB

english, 2004

14

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Formal verification of embedded systems based on CFSM networks

Balarin, Felice, Hsieh, Harry, Jurecska, Attila, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto

Year:

1996

Language:

english

File:

PDF, 134 KB

english, 1996

15

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Schedule validation for embedded reactive real-time systems

Balarin, Felice, Sangiovanni-Vincentelli, Alberto

Year:

1997

Language:

english

File:

PDF, 172 KB

english, 1997

16

[ACM Press the seventh international workshop - Rome, Italy (1999..-..)] Proceedings of the seventh international workshop on Hardware/software codesign - CODES '99 - Worst-case analysis of discrete systems based on conditional abstractions

Balarin, Felice

Year:

1999

Language:

english

File:

PDF, 346 KB

english, 1999

17

[ACM Press the 37th conference - Los Angeles, California, United States (2000.06.05-2000.06.09)] Proceedings of the 37th conference on Design automation - DAC '00 - Efficient methods for embedded system design space exploration

Hsieh, Harry, Balarin, Felice, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto

Year:

2000

Language:

english

File:

PDF, 199 KB

english, 2000

18

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - Automatic abstraciton for worst-case analysis of discrete systems

Balarin, Felice

Year:

2000

Language:

english

File:

PDF, 113 KB

english, 2000

19

[ACM Press the ninth international symposium - Copenhagen, Denmark (2001..-..)] Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01 - STARS of MPEG decoder

Balarin, Felice

Year:

2001

Language:

english

File:

PDF, 402 KB

english, 2001

20

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Automatic trace analysis for logic of constraints

Chen, Xi, Hsieh, Harry, Balarin, Felice, Watanabe, Yosinori

Year:

2003

Language:

english

File:

PDF, 183 KB

english, 2003